Buy Used and New Jens Knoop Books

Architecture of Computing Systems - ARCS 2017: 30th International Conference, Vienna, Austria, April 3–6, 2017, Proceedings: 10172 (Lecture Notes in Computer Science)

by Jens Knoop,Wolfgang Karl,Martin Schulz,Koji Inoue,Thilo Pionteck

ISBN 13: 9783319549989

Format: Paperback (276 pages)
Publisher: Springer
Published: 06 Mar 2017

Save for later

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ... in Computer and Information Science)

by Reiner Hähnle,Jens Knoop,Tiziana Margaria,Dietmar Schreiner,Bernhard Steffen

ISBN 13: 9783642347801

Format: Paperback (276 pages)
Publisher: Springer
Published: 12 Oct 2012

Save for later